#include <stdio.h>

int main()
{
    int a[4],b,c[3],x,d[4],i = 1;
    for(a[0] = 1010;a[0]<=1377;a[0]++)
    for(b = 112;b <= 142;b++)
    for(c[0] = 8;c[0] <= 9;c[0]++)
    if(b*c[0]>1000 && (d[0] = a[0]-b*c[0])>=10&&d[0]<100)
    for(a[1] = 0;a[1] <= 9;a[1]++)
    if((d[1] = d[0]*10 + a[1] - b*7)>=100 && d[1]<b)
    for(a[2] = 0;a[2] <= 9;a[2]++)
    for(c[1] = 7;c[1] <= 8;c[1]++)
    if(b*c[1]<1000 && (d[2] = d[1]*10 + a[2] - b*c[1])>=10 && d[2] <100)
    for(a[3] = 0;a[3] <= 99;a[3]++)
    for(c[2] = 8;c[2] <= 9;c[2]++)
    if(d[2]*100+a[3]-b*c[2] == 0)
    {
        printf("No%2d:",i++);
        printf("%d%d%d%d%d/",a[0],a[1],a[2],a[3]/10,a[3]%10);
        printf("%d = ",b);
        printf("%d%d%d%d%d\n",c[0],7,c[1],0,c[2]);
    }
}